<html>
<head><meta charset="utf-8"><title>I-prioritize #74780 Type-based search does not work since M… · t-compiler/wg-prioritization/alerts · Zulip Chat Archive</title></head>
<h2>Stream: <a href="https://rust-lang.github.io/zulip_archive/stream/245100-t-compiler/wg-prioritization/alerts/index.html">t-compiler/wg-prioritization/alerts</a></h2>
<h3>Topic: <a href="https://rust-lang.github.io/zulip_archive/stream/245100-t-compiler/wg-prioritization/alerts/topic/I-prioritize.20.2374780.20Type-based.20search.20does.20not.20work.20since.20M.E2.80.A6.html">I-prioritize #74780 Type-based search does not work since M…</a></h3>

<hr>

<base href="https://rust-lang.zulipchat.com">

<head><link href="https://rust-lang.github.io/zulip_archive/style.css" rel="stylesheet"></head>

<a name="205056122"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/245100-t-compiler/wg-prioritization/alerts/topic/I-prioritize%20%2374780%20Type-based%20search%20does%20not%20work%20since%20M%E2%80%A6/near/205056122" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> triagebot <a href="https://rust-lang.github.io/zulip_archive/stream/245100-t-compiler/wg-prioritization/alerts/topic/I-prioritize.20.2374780.20Type-based.20search.20does.20not.20work.20since.20M.E2.80.A6.html#205056122">(Jul 26 2020 at 15:26)</a>:</h4>
<p><span class="user-group-mention" data-user-group-id="3111">@WG-prioritization/alerts</span> issue <a href="https://github.com/rust-lang/rust/issues/74780">#74780</a> has been requested for prioritization.</p>
<h1><a href="https://forge.rust-lang.org/compiler/prioritization/procedure.html#assign-priority-to-unprioritized-issues-with-i-prioritize-label">Procedure</a></h1>
<ul>
<li>Priority?</li>
<li>Regression?</li>
<li>Notify people/groups?</li>
<li>Needs <code>I-nominated</code>?</li>
</ul>



<a name="205059923"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/245100-t-compiler/wg-prioritization/alerts/topic/I-prioritize%20%2374780%20Type-based%20search%20does%20not%20work%20since%20M%E2%80%A6/near/205059923" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Yuki Okushi <a href="https://rust-lang.github.io/zulip_archive/stream/245100-t-compiler/wg-prioritization/alerts/topic/I-prioritize.20.2374780.20Type-based.20search.20does.20not.20work.20since.20M.E2.80.A6.html#205059923">(Jul 26 2020 at 17:20)</a>:</h4>
<p>(it's <code>T-rustdoc</code> issue but I'll leave a label since it's useful for that team, related: <a href="https://github.com/rust-lang/triagebot/issues/714">https://github.com/rust-lang/triagebot/issues/714</a>)</p>



<a name="205366556"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/245100-t-compiler/wg-prioritization/alerts/topic/I-prioritize%20%2374780%20Type-based%20search%20does%20not%20work%20since%20M%E2%80%A6/near/205366556" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Santiago Pastorino <a href="https://rust-lang.github.io/zulip_archive/stream/245100-t-compiler/wg-prioritization/alerts/topic/I-prioritize.20.2374780.20Type-based.20search.20does.20not.20work.20since.20M.E2.80.A6.html#205366556">(Jul 29 2020 at 14:48)</a>:</h4>
<p><span class="user-mention" data-user-id="217081">@Yuki Okushi</span> if other teams start using it, <span aria-label="+1" class="emoji emoji-1f44d" role="img" title="+1">:+1:</span> to your idea then</p>



<a name="205367429"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/245100-t-compiler/wg-prioritization/alerts/topic/I-prioritize%20%2374780%20Type-based%20search%20does%20not%20work%20since%20M%E2%80%A6/near/205367429" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Yuki Okushi <a href="https://rust-lang.github.io/zulip_archive/stream/245100-t-compiler/wg-prioritization/alerts/topic/I-prioritize.20.2374780.20Type-based.20search.20does.20not.20work.20since.20M.E2.80.A6.html#205367429">(Jul 29 2020 at 14:54)</a>:</h4>
<p>yeah at least rustdoc team wants to use it</p>



<a name="205369508"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/245100-t-compiler/wg-prioritization/alerts/topic/I-prioritize%20%2374780%20Type-based%20search%20does%20not%20work%20since%20M%E2%80%A6/near/205369508" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Santiago Pastorino <a href="https://rust-lang.github.io/zulip_archive/stream/245100-t-compiler/wg-prioritization/alerts/topic/I-prioritize.20.2374780.20Type-based.20search.20does.20not.20work.20since.20M.E2.80.A6.html#205369508">(Jul 29 2020 at 15:08)</a>:</h4>
<p><span aria-label="+1" class="emoji emoji-1f44d" role="img" title="+1">:+1:</span></p>



<a name="205369757"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/245100-t-compiler/wg-prioritization/alerts/topic/I-prioritize%20%2374780%20Type-based%20search%20does%20not%20work%20since%20M%E2%80%A6/near/205369757" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Léo Lanteri Thauvin <a href="https://rust-lang.github.io/zulip_archive/stream/245100-t-compiler/wg-prioritization/alerts/topic/I-prioritize.20.2374780.20Type-based.20search.20does.20not.20work.20since.20M.E2.80.A6.html#205369757">(Jul 29 2020 at 15:10)</a>:</h4>
<p>Maybe we should only be notified for <code>T-compiler</code> <code>I-prioritize</code>? Though it might have the same problems as <code>I-nominated</code>, where we don’t get pings when we should</p>



<a name="210288568"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/245100-t-compiler/wg-prioritization/alerts/topic/I-prioritize%20%2374780%20Type-based%20search%20does%20not%20work%20since%20M%E2%80%A6/near/210288568" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> apiraino <a href="https://rust-lang.github.io/zulip_archive/stream/245100-t-compiler/wg-prioritization/alerts/topic/I-prioritize.20.2374780.20Type-based.20search.20does.20not.20work.20since.20M.E2.80.A6.html#210288568">(Sep 16 2020 at 16:42)</a>:</h4>
<p><span class="user-mention" data-user-id="255061">@LeSeulArtichaut</span> thinking about implementing this. I was having a look at how the triagebot work:<br>
<a href="https://github.com/rust-lang/rust/blob/5fae56971d8487088c0099c82c0a5ce1638b5f62/triagebot.toml#L75-L87">https://github.com/rust-lang/rust/blob/5fae56971d8487088c0099c82c0a5ce1638b5f62/triagebot.toml#L75-L87</a></p>
<p>I'm still missing some pieces of how the bot works <span aria-label="thinking" class="emoji emoji-1f914" role="img" title="thinking">:thinking:</span>  could it be that we can <code>exclude</code> all teams but <code>T-compiler</code> and <code>libs-impl</code> and have it deliver us only notifications about issues we care?</p>
<p>cc: <span class="user-mention" data-user-id="116266">@Santiago Pastorino</span></p>



<a name="210288818"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/245100-t-compiler/wg-prioritization/alerts/topic/I-prioritize%20%2374780%20Type-based%20search%20does%20not%20work%20since%20M%E2%80%A6/near/210288818" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Joshua Nelson <a href="https://rust-lang.github.io/zulip_archive/stream/245100-t-compiler/wg-prioritization/alerts/topic/I-prioritize.20.2374780.20Type-based.20search.20does.20not.20work.20since.20M.E2.80.A6.html#210288818">(Sep 16 2020 at 16:44)</a>:</h4>
<p>please don't change this</p>



<a name="210288858"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/245100-t-compiler/wg-prioritization/alerts/topic/I-prioritize%20%2374780%20Type-based%20search%20does%20not%20work%20since%20M%E2%80%A6/near/210288858" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Joshua Nelson <a href="https://rust-lang.github.io/zulip_archive/stream/245100-t-compiler/wg-prioritization/alerts/topic/I-prioritize.20.2374780.20Type-based.20search.20does.20not.20work.20since.20M.E2.80.A6.html#210288858">(Sep 16 2020 at 16:45)</a>:</h4>
<p>rustdoc wants to be notified for all regressions</p>



<a name="210288928"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/245100-t-compiler/wg-prioritization/alerts/topic/I-prioritize%20%2374780%20Type-based%20search%20does%20not%20work%20since%20M%E2%80%A6/near/210288928" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Joshua Nelson <a href="https://rust-lang.github.io/zulip_archive/stream/245100-t-compiler/wg-prioritization/alerts/topic/I-prioritize.20.2374780.20Type-based.20search.20does.20not.20work.20since.20M.E2.80.A6.html#210288928">(Sep 16 2020 at 16:45)</a>:</h4>
<p>if you want to automate something, automate pinging <code>rust-lang/rustdoc</code> anytime someone labels as regression</p>



<a name="210289051"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/245100-t-compiler/wg-prioritization/alerts/topic/I-prioritize%20%2374780%20Type-based%20search%20does%20not%20work%20since%20M%E2%80%A6/near/210289051" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Joshua Nelson <a href="https://rust-lang.github.io/zulip_archive/stream/245100-t-compiler/wg-prioritization/alerts/topic/I-prioritize.20.2374780.20Type-based.20search.20does.20not.20work.20since.20M.E2.80.A6.html#210289051">(Sep 16 2020 at 16:46)</a>:</h4>
<p>and labelling as P-high, if you do both of those I'm fine with not notifying the wg-prioritization stream</p>



<a name="210289062"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/245100-t-compiler/wg-prioritization/alerts/topic/I-prioritize%20%2374780%20Type-based%20search%20does%20not%20work%20since%20M%E2%80%A6/near/210289062" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Joshua Nelson <a href="https://rust-lang.github.io/zulip_archive/stream/245100-t-compiler/wg-prioritization/alerts/topic/I-prioritize.20.2374780.20Type-based.20search.20does.20not.20work.20since.20M.E2.80.A6.html#210289062">(Sep 16 2020 at 16:46)</a>:</h4>
<p>but otherwise the issues will just sit unnoticed for months</p>



<a name="210289213"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/245100-t-compiler/wg-prioritization/alerts/topic/I-prioritize%20%2374780%20Type-based%20search%20does%20not%20work%20since%20M%E2%80%A6/near/210289213" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Joshua Nelson <a href="https://rust-lang.github.io/zulip_archive/stream/245100-t-compiler/wg-prioritization/alerts/topic/I-prioritize.20.2374780.20Type-based.20search.20does.20not.20work.20since.20M.E2.80.A6.html#210289213">(Sep 16 2020 at 16:47)</a>:</h4>
<p>more discussion: <a href="#narrow/stream/227806-t-compiler.2Fwg-prioritization/topic/triagebot.20I-prioritize">https://rust-lang.zulipchat.com/#narrow/stream/227806-t-compiler.2Fwg-prioritization/topic/triagebot.20I-prioritize</a></p>



<a name="210289512"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/245100-t-compiler/wg-prioritization/alerts/topic/I-prioritize%20%2374780%20Type-based%20search%20does%20not%20work%20since%20M%E2%80%A6/near/210289512" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> apiraino <a href="https://rust-lang.github.io/zulip_archive/stream/245100-t-compiler/wg-prioritization/alerts/topic/I-prioritize.20.2374780.20Type-based.20search.20does.20not.20work.20since.20M.E2.80.A6.html#210289512">(Sep 16 2020 at 16:50)</a>:</h4>
<p>yeah, we don't want that, I was trying to figure out how to automate letting the relevant team about their github issues, without changing the triagebot (but rather configuring it).<br>
But I'm not sure it can be simply configured for that (e.g. adding another <code>[notify-zulip.xxxx]</code> section that sends them instead to us</p>



<a name="210289528"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/245100-t-compiler/wg-prioritization/alerts/topic/I-prioritize%20%2374780%20Type-based%20search%20does%20not%20work%20since%20M%E2%80%A6/near/210289528" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> apiraino <a href="https://rust-lang.github.io/zulip_archive/stream/245100-t-compiler/wg-prioritization/alerts/topic/I-prioritize.20.2374780.20Type-based.20search.20does.20not.20work.20since.20M.E2.80.A6.html#210289528">(Sep 16 2020 at 16:50)</a>:</h4>
<p>so probably like you say the best way is to configure the bot also on their repo</p>



<a name="210289590"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/245100-t-compiler/wg-prioritization/alerts/topic/I-prioritize%20%2374780%20Type-based%20search%20does%20not%20work%20since%20M%E2%80%A6/near/210289590" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Joshua Nelson <a href="https://rust-lang.github.io/zulip_archive/stream/245100-t-compiler/wg-prioritization/alerts/topic/I-prioritize.20.2374780.20Type-based.20search.20does.20not.20work.20since.20M.E2.80.A6.html#210289590">(Sep 16 2020 at 16:51)</a>:</h4>
<p>well rustdoc isn't on zulip</p>



<a name="210289606"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/245100-t-compiler/wg-prioritization/alerts/topic/I-prioritize%20%2374780%20Type-based%20search%20does%20not%20work%20since%20M%E2%80%A6/near/210289606" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Joshua Nelson <a href="https://rust-lang.github.io/zulip_archive/stream/245100-t-compiler/wg-prioritization/alerts/topic/I-prioritize.20.2374780.20Type-based.20search.20does.20not.20work.20since.20M.E2.80.A6.html#210289606">(Sep 16 2020 at 16:51)</a>:</h4>
<p>and I don't know if triagebot has discord permissions</p>



<a name="210289634"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/245100-t-compiler/wg-prioritization/alerts/topic/I-prioritize%20%2374780%20Type-based%20search%20does%20not%20work%20since%20M%E2%80%A6/near/210289634" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Joshua Nelson <a href="https://rust-lang.github.io/zulip_archive/stream/245100-t-compiler/wg-prioritization/alerts/topic/I-prioritize.20.2374780.20Type-based.20search.20does.20not.20work.20since.20M.E2.80.A6.html#210289634">(Sep 16 2020 at 16:51)</a>:</h4>
<p>but it would be better to ping on github anyway</p>



<a name="210289778"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/245100-t-compiler/wg-prioritization/alerts/topic/I-prioritize%20%2374780%20Type-based%20search%20does%20not%20work%20since%20M%E2%80%A6/near/210289778" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> apiraino <a href="https://rust-lang.github.io/zulip_archive/stream/245100-t-compiler/wg-prioritization/alerts/topic/I-prioritize.20.2374780.20Type-based.20search.20does.20not.20work.20since.20M.E2.80.A6.html#210289778">(Sep 16 2020 at 16:52)</a>:</h4>
<p>ok, fair enough :) that's fine</p>
<p>edit : thanks :)</p>



<a name="210290041"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/245100-t-compiler/wg-prioritization/alerts/topic/I-prioritize%20%2374780%20Type-based%20search%20does%20not%20work%20since%20M%E2%80%A6/near/210290041" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Joshua Nelson <a href="https://rust-lang.github.io/zulip_archive/stream/245100-t-compiler/wg-prioritization/alerts/topic/I-prioritize.20.2374780.20Type-based.20search.20does.20not.20work.20since.20M.E2.80.A6.html#210290041">(Sep 16 2020 at 16:54)</a>:</h4>
<p>sorry, didn't mean to jump down your throat</p>



<a name="210290053"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/245100-t-compiler/wg-prioritization/alerts/topic/I-prioritize%20%2374780%20Type-based%20search%20does%20not%20work%20since%20M%E2%80%A6/near/210290053" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Joshua Nelson <a href="https://rust-lang.github.io/zulip_archive/stream/245100-t-compiler/wg-prioritization/alerts/topic/I-prioritize.20.2374780.20Type-based.20search.20does.20not.20work.20since.20M.E2.80.A6.html#210290053">(Sep 16 2020 at 16:54)</a>:</h4>
<p>just didn't want these issues to get lost</p>



<a name="210290226"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/245100-t-compiler/wg-prioritization/alerts/topic/I-prioritize%20%2374780%20Type-based%20search%20does%20not%20work%20since%20M%E2%80%A6/near/210290226" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> apiraino <a href="https://rust-lang.github.io/zulip_archive/stream/245100-t-compiler/wg-prioritization/alerts/topic/I-prioritize.20.2374780.20Type-based.20search.20does.20not.20work.20since.20M.E2.80.A6.html#210290226">(Sep 16 2020 at 16:56)</a>:</h4>
<p>no worries</p>



<a name="210293721"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/245100-t-compiler/wg-prioritization/alerts/topic/I-prioritize%20%2374780%20Type-based%20search%20does%20not%20work%20since%20M%E2%80%A6/near/210293721" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Léo Lanteri Thauvin <a href="https://rust-lang.github.io/zulip_archive/stream/245100-t-compiler/wg-prioritization/alerts/topic/I-prioritize.20.2374780.20Type-based.20search.20does.20not.20work.20since.20M.E2.80.A6.html#210293721">(Sep 16 2020 at 17:24)</a>:</h4>
<p>I think, as the team that uses <code>I-prioritize</code> the most, that we can afford having notifications from other teams</p>



<a name="210293735"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/245100-t-compiler/wg-prioritization/alerts/topic/I-prioritize%20%2374780%20Type-based%20search%20does%20not%20work%20since%20M%E2%80%A6/near/210293735" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Léo Lanteri Thauvin <a href="https://rust-lang.github.io/zulip_archive/stream/245100-t-compiler/wg-prioritization/alerts/topic/I-prioritize.20.2374780.20Type-based.20search.20does.20not.20work.20since.20M.E2.80.A6.html#210293735">(Sep 16 2020 at 17:24)</a>:</h4>
<p>We can just ignore them</p>



<a name="210293875"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/245100-t-compiler/wg-prioritization/alerts/topic/I-prioritize%20%2374780%20Type-based%20search%20does%20not%20work%20since%20M%E2%80%A6/near/210293875" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Léo Lanteri Thauvin <a href="https://rust-lang.github.io/zulip_archive/stream/245100-t-compiler/wg-prioritization/alerts/topic/I-prioritize.20.2374780.20Type-based.20search.20does.20not.20work.20since.20M.E2.80.A6.html#210293875">(Sep 16 2020 at 17:25)</a>:</h4>
<p>If we limit ourselves to T-compiler and libs-impl, I fear that we’re going to run into the same problem as with I-nominated (when we had pings for it) where <span class="user-mention silent" data-user-id="261224">triagebot</span> didn’t trigger because there was no T-compiler label</p>



<a name="210294074"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/245100-t-compiler/wg-prioritization/alerts/topic/I-prioritize%20%2374780%20Type-based%20search%20does%20not%20work%20since%20M%E2%80%A6/near/210294074" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Léo Lanteri Thauvin <a href="https://rust-lang.github.io/zulip_archive/stream/245100-t-compiler/wg-prioritization/alerts/topic/I-prioritize.20.2374780.20Type-based.20search.20does.20not.20work.20since.20M.E2.80.A6.html#210294074">(Sep 16 2020 at 17:27)</a>:</h4>
<p>If we really want to only have pings for T-compiler, we should change how triagebot works (I was the one implementing the feature which is why it’s not great rn <span aria-label="grinning face with smiling eyes" class="emoji emoji-1f601" role="img" title="grinning face with smiling eyes">:grinning_face_with_smiling_eyes:</span>)</p>



<a name="210437812"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/245100-t-compiler/wg-prioritization/alerts/topic/I-prioritize%20%2374780%20Type-based%20search%20does%20not%20work%20since%20M%E2%80%A6/near/210437812" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Noah Lev <a href="https://rust-lang.github.io/zulip_archive/stream/245100-t-compiler/wg-prioritization/alerts/topic/I-prioritize.20.2374780.20Type-based.20search.20does.20not.20work.20since.20M.E2.80.A6.html#210437812">(Sep 17 2020 at 19:18)</a>:</h4>
<p>Should I remove <code>I-prioritize</code>? If so, should I add <code>P-low</code> or <code>P-medium</code>?</p>



<a name="210439026"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/245100-t-compiler/wg-prioritization/alerts/topic/I-prioritize%20%2374780%20Type-based%20search%20does%20not%20work%20since%20M%E2%80%A6/near/210439026" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> DPC <a href="https://rust-lang.github.io/zulip_archive/stream/245100-t-compiler/wg-prioritization/alerts/topic/I-prioritize.20.2374780.20Type-based.20search.20does.20not.20work.20since.20M.E2.80.A6.html#210439026">(Sep 17 2020 at 19:29)</a>:</h4>
<p>yeah in the past it didn't made sense, because rustdoc didn't have the bandwidth so anything being prioritised would stay on for months <span aria-label="stuck out tongue" class="emoji emoji-1f61b" role="img" title="stuck out tongue">:stuck_out_tongue:</span></p>



<a name="210439048"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/245100-t-compiler/wg-prioritization/alerts/topic/I-prioritize%20%2374780%20Type-based%20search%20does%20not%20work%20since%20M%E2%80%A6/near/210439048" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> DPC <a href="https://rust-lang.github.io/zulip_archive/stream/245100-t-compiler/wg-prioritization/alerts/topic/I-prioritize.20.2374780.20Type-based.20search.20does.20not.20work.20since.20M.E2.80.A6.html#210439048">(Sep 17 2020 at 19:29)</a>:</h4>
<p>i guess that's settled now  so should be fine</p>



<a name="210439723"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/245100-t-compiler/wg-prioritization/alerts/topic/I-prioritize%20%2374780%20Type-based%20search%20does%20not%20work%20since%20M%E2%80%A6/near/210439723" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> DPC <a href="https://rust-lang.github.io/zulip_archive/stream/245100-t-compiler/wg-prioritization/alerts/topic/I-prioritize.20.2374780.20Type-based.20search.20does.20not.20work.20since.20M.E2.80.A6.html#210439723">(Sep 17 2020 at 19:35)</a>:</h4>
<p>i'd suggest for other teams especially the smaller ones we can nominate them directly</p>



<a name="210451137"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/245100-t-compiler/wg-prioritization/alerts/topic/I-prioritize%20%2374780%20Type-based%20search%20does%20not%20work%20since%20M%E2%80%A6/near/210451137" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Joshua Nelson <a href="https://rust-lang.github.io/zulip_archive/stream/245100-t-compiler/wg-prioritization/alerts/topic/I-prioritize.20.2374780.20Type-based.20search.20does.20not.20work.20since.20M.E2.80.A6.html#210451137">(Sep 17 2020 at 21:04)</a>:</h4>
<p><span class="user-mention silent" data-user-id="120823">DPC</span> <a href="#narrow/stream/245100-t-compiler.2Fwg-prioritization.2Falerts/topic/I-prioritize.20.2374780.20Type-based.20search.20does.20not.20work.20since.20M.E2.80.A6/near/210439723">said</a>:</p>
<blockquote>
<p>i'd suggest for other teams especially the smaller ones we can nominate them directly</p>
</blockquote>
<p>again, nominating does nothing without weekly meetings</p>



<a name="210451150"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/245100-t-compiler/wg-prioritization/alerts/topic/I-prioritize%20%2374780%20Type-based%20search%20does%20not%20work%20since%20M%E2%80%A6/near/210451150" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Joshua Nelson <a href="https://rust-lang.github.io/zulip_archive/stream/245100-t-compiler/wg-prioritization/alerts/topic/I-prioritize.20.2374780.20Type-based.20search.20does.20not.20work.20since.20M.E2.80.A6.html#210451150">(Sep 17 2020 at 21:04)</a>:</h4>
<p>you need to talk to the team to see what they want you to do</p>



<a name="210452823"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/245100-t-compiler/wg-prioritization/alerts/topic/I-prioritize%20%2374780%20Type-based%20search%20does%20not%20work%20since%20M%E2%80%A6/near/210452823" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> apiraino <a href="https://rust-lang.github.io/zulip_archive/stream/245100-t-compiler/wg-prioritization/alerts/topic/I-prioritize.20.2374780.20Type-based.20search.20does.20not.20work.20since.20M.E2.80.A6.html#210452823">(Sep 17 2020 at 21:18)</a>:</h4>
<p>Just curious, do you (or anyone) know if there's some automation to notify the team when a <code>T-*</code> tag is applied to an issue? By your response I'd say no, correct?</p>



<a name="210455377"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/245100-t-compiler/wg-prioritization/alerts/topic/I-prioritize%20%2374780%20Type-based%20search%20does%20not%20work%20since%20M%E2%80%A6/near/210455377" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Joshua Nelson <a href="https://rust-lang.github.io/zulip_archive/stream/245100-t-compiler/wg-prioritization/alerts/topic/I-prioritize.20.2374780.20Type-based.20search.20does.20not.20work.20since.20M.E2.80.A6.html#210455377">(Sep 17 2020 at 21:43)</a>:</h4>
<p>not for rustdoc at least</p>



<a name="210455383"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/245100-t-compiler/wg-prioritization/alerts/topic/I-prioritize%20%2374780%20Type-based%20search%20does%20not%20work%20since%20M%E2%80%A6/near/210455383" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Joshua Nelson <a href="https://rust-lang.github.io/zulip_archive/stream/245100-t-compiler/wg-prioritization/alerts/topic/I-prioritize.20.2374780.20Type-based.20search.20does.20not.20work.20since.20M.E2.80.A6.html#210455383">(Sep 17 2020 at 21:43)</a>:</h4>
<p>not sure about other teams</p>



<a name="210457160"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/245100-t-compiler/wg-prioritization/alerts/topic/I-prioritize%20%2374780%20Type-based%20search%20does%20not%20work%20since%20M%E2%80%A6/near/210457160" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> DPC <a href="https://rust-lang.github.io/zulip_archive/stream/245100-t-compiler/wg-prioritization/alerts/topic/I-prioritize.20.2374780.20Type-based.20search.20does.20not.20work.20since.20M.E2.80.A6.html#210457160">(Sep 17 2020 at 22:02)</a>:</h4>
<p>well general rule earlier was to nominate the issues, then team decides how they want to handle them- most of them check during meetings and for those without meetings they often check async-ly</p>



<a name="210457702"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/245100-t-compiler/wg-prioritization/alerts/topic/I-prioritize%20%2374780%20Type-based%20search%20does%20not%20work%20since%20M%E2%80%A6/near/210457702" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Joshua Nelson <a href="https://rust-lang.github.io/zulip_archive/stream/245100-t-compiler/wg-prioritization/alerts/topic/I-prioritize.20.2374780.20Type-based.20search.20does.20not.20work.20since.20M.E2.80.A6.html#210457702">(Sep 17 2020 at 22:08)</a>:</h4>
<p>I just think you should ask :/</p>



<a name="210457727"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/245100-t-compiler/wg-prioritization/alerts/topic/I-prioritize%20%2374780%20Type-based%20search%20does%20not%20work%20since%20M%E2%80%A6/near/210457727" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Joshua Nelson <a href="https://rust-lang.github.io/zulip_archive/stream/245100-t-compiler/wg-prioritization/alerts/topic/I-prioritize.20.2374780.20Type-based.20search.20does.20not.20work.20since.20M.E2.80.A6.html#210457727">(Sep 17 2020 at 22:09)</a>:</h4>
<p>they don't know to look for I-nominated unless you say that's what you're going to do</p>



<a name="210468039"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/245100-t-compiler/wg-prioritization/alerts/topic/I-prioritize%20%2374780%20Type-based%20search%20does%20not%20work%20since%20M%E2%80%A6/near/210468039" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> DPC <a href="https://rust-lang.github.io/zulip_archive/stream/245100-t-compiler/wg-prioritization/alerts/topic/I-prioritize.20.2374780.20Type-based.20search.20does.20not.20work.20since.20M.E2.80.A6.html#210468039">(Sep 18 2020 at 00:38)</a>:</h4>
<p>sure we can ask, but I-nominated has been around for a long time. It's up to the teams to decide how to process these</p>



<hr><p>Last updated: Aug 07 2021 at 22:04 UTC</p>
</html>